Kurt Godel

In his book Infinity and the Mind, mathematician and author Rudy Rucker relates a telephone interview with Kurt Godel, the author of the famous theorem that bears his name, and who is widely regarded as the greatest logician of the 20th century.

Dr. Larry Dossey: Is Technology Proof of Universal Consciousness? 2010

In his book Infinity and the Mind, mathematician and author Rudy Rucker relates a telephone interview with Kurt Godel, the author of the famous theorem that bears his name, and who is widely regarded as the greatest logician of the 20th century.

Dr. Larry Dossey: Is Technology Proof of Universal Consciousness? 2010

During WW II the brilliant, but extremely eccentric, logician, Kurt Godel, applied to become a US citizen.

Confusion in Political Theory, Arnold Kling | EconLog | Library of Economics and Liberty 2009

Janna is a good friend, and her novel about Alan Turing and Kurt Godel is an extraordinarily imaginative achievement.

Congrats to Janna Levin Sean 2007

Kurt Godel demonstrated that any system that is strong enough to express arithmetic is also strong enough to express a formal counterpart of the self-referential proposition in the surprise test example ˜This statement cannot be proved in this system™.

Epistemic Paradoxes Sorensen, Roy 2006

A brilliant Terran named Kurt Godel proved that there were certain absolutely fundamental limits to knowledge, and hence the idea of a completely Omniscient Being -- one of the definitions of Alpha -- was logically absurd.

The Songs of Distant Earth Clarke, Arthur C. 1986

Not very long ago, a mathematician named Kurt Godel put together unanswerable logical proof that God Is, and He Is, Who He Says He Is. However, Godel went nearly to his deathbed pretending to be an atheist so that he could keep his job, and did not submit his logical proof until he was certain that no atheist could persecute him any more.

Recent Activity Bob Suffolk 2010

That year, Kurt Godel proved, first, that any mathematics that includes the whole numbers will contain unprovable propositions, and, second, that it's impossible to prove that such a mathematical system is free of self-contradictions.

News from The Scientist David Berreby 2010

About 20 years later, a German mathematician named Kurt Godel used what Russell and Whitehead had done in the Principia to show that it actually couldn't do what it aimed to do, that it couldn't contain all of math, that there would be true mathematical statements that were not logical consequences of the axioms that it set out.

NPR Topics: News 2010

As a novelist, she explored the separate but parallel lives of two influential 20th-century scientists, Kurt Godel and Alan Turning.

CITIZEN-TIMES.com - News 2010